Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
291	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
292	PDF Document Add to Reading List Source URL: www7b.biglobe.ne.jp Language: English - Date: 2014-03-02 03:59:36 Quadrilaterals Logic Mathematics Triangle geometry Mathematical proofs Mathematical fallacy Proof theory
293	SMT[removed]Algebra Tiebreaker Solutions February 15, 2014 Add to Reading List Source URL: sumo.stanford.edu Language: English - Date: 2014-05-28 23:53:37 Mathematical analysis Unit circle Trigonometric functions Sine Proofs of trigonometric identities Pythagorean trigonometric identity Trigonometry Geometry Mathematics
294	SMT[removed]General Test Solutions February 15, 2014 Add to Reading List Source URL: sumo.stanford.edu Language: English - Date: 2014-05-28 23:53:37 Logarithms Mathematical fallacy Proof theory Pi Prime number Expected value Square root Maths24 Mathematics Mathematical analysis Mathematical proofs
295	156 [March Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:32:29 Field theory Fellows of the Royal Society Mathematical proofs Markov models Galois theory Group theory Joseph Louis Lagrange Central limit theorem Law of large numbers Mathematics Mathematical analysis Statistics
296	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
297	Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2007-10-15 04:40:08 Metalogic Sequent Proof procedure First-order logic Rule of inference Proof calculus Logic Proof theory Mathematical logic
298	S´ eminaire Lotharingien de Combinatoire[removed]), Article B60d Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2008-11-06 12:33:44 Enumerative combinatorics Functions and mappings Mathematical proofs Permutation pattern Permutation Bijection Combinatorial proof Catalan number Bijective proof Mathematics Combinatorics Permutations
299	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
300	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics

UPDATE